假设事务程序A中的表达式x/y，若y取值为0，则计算该表达式时，会产生故障。该故障属于( )。